(0 7 5)(1 19 17)(2 9 4)(3 14 13)(6 20 12)(8 15 10)(11 18 16)
ALLOWS (11/8)-SEQUENCE
1: (12 13 20)
(0 7 5)(1 19 17)(2 9 4)(3 14 13 6 20)(8 15 10)(11 18 16)(12)
2: (3 6 20)
(0 7 5)(1 19 17)(2 9 4)(3)(6 14 13)(8 15 10)(11 18 16)(12)(20)
3: (0 7 5)
(0)(1 19 17)(2 9 4)(3)(5)(6 14 13)(7)(8 15 10)(11 18 16)(12)(20)
4: (2 9 4)
(0)(1 19 17)(2)(3)(4)(5)(6 14 13)(7)(8 15 10)(9)(11 18 16)(12)(20)